Let <I> G</I>  be a finite group and <i>p</i> a prime that divides the order of <I>G</i>.  Then<I> G</i> has an element of order <I>p</i>.